منابع مشابه
Generalization Discovery for Proofs by Induction in Conditional Theories
Several induction provers have been developed to automate inductive proofs (see for instance: Nqthm, RRL INKA, LP, SPIKE, CLAM-Oyster, ...). However, inductive theorem provers very often fail to terminate. A proof to go through requires either additional lemmas, a generalization, a suitable induction variable to induce upon , or a case split. The aim of this paper is to present a simple and pow...
متن کاملImplicit Leadership Theories: A Qualitative Study in an Iranian Organization
This research aims at discovering the traits and abilities which characterize ideal leaders in the minds of employees in an Iranian context. After employing the strategy of phenomenology to reach the components of ideal leadership, 15 tenured middle managers and employees possessing decent management knowledge in the context were interviewed and after theme analysis, global, basic, and organizi...
متن کاملConditional lndependence in Uncertainty Theories
This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and conditional independence in terms of factorization of the joint valuation. The definitions of independence and conditional independence in VBS generalize the correspon...
متن کاملConditional Independence in Uncertainty Theories
This paper introduces the nolions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and conditional independence in terms of factorization of the joint valuation. The definitions of independence and conditional independence in VBS generalize the correspon...
متن کاملSpontaneous inferences, implicit impressions, and implicit theories.
People make social inferences without intentions, awareness, or effort, i.e., spontaneously. We review recent findings on spontaneous social inferences (especially traits, goals, and causes) and closely related phenomena. We then describe current thinking on some of the most relevant processes, implicit knowledge, and theories. These include automatic and controlled processes and their interpla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 1995
ISSN: 0168-7433,1573-0670
DOI: 10.1007/bf00881856